Input Speci cation in the WAG Sentence Generation
نویسنده
چکیده
This paper describes the input speciication language of the WAG Sentence Generation system. The input is described in terms of Halliday's (1978) three meaning components, ideational meaning (the propositional content to be expressed), inter-actional meaning (what the speaker intends the listener to do in making the utterance), and textual meaning (how the content is structured as a message , in terms of theme, reference, etc.).
منابع مشابه
Input Specification in the WAG Sentence Generation System
This paper describes the input specification language of the WAG Sentence Generation system. The input is described in terms of Halliday's (1978) three meaning components, ideational meaning (the propositional content to be expressed), interactional meaning (what the speaker intends the listener to do in making the utterance), and textual meaning (how the content is structured as a message, in ...
متن کاملSemantic Specification in the WAG Sentence Generation System
This paper describes the input specification language of the WAG Sentence Generation system. The input is described in terms of Halliday’s (1978) three meaning components, ideational meaning (the propositional content to be expressed), interactional meaning (what the speaker intends the listener to do in making the utterance), and textual meaning (how the content is structured as a message, in ...
متن کاملVerification and Symbolic Test Generation for Safety Properties
This paper presents a combination of veri cation and conformance testing techniques for the formal validation of reactive systems A formal speci cation of a system an input output automaton with variables that may range over in nite domains is assumed Additionally a set of safety properties for the speci cation are given under the form of observers described in the same formalism Then each prop...
متن کاملFormal Design and Testing of Army Communication Protocols Based on Estelle
This paper describes the Estelle speci cation of MILSTD 188-220A [7] Intranet Layer as well as a methodology for generating test sequences for checking the conformance of a protocol implementation to its speci cation. The methodology for deriving test cases from Estelle speci cation, which serves as input to test generation techniques, is presented. A Chinese postman tour [1] is used to determi...
متن کاملMaster in Computer Vision and Artificial Intelligence Report of the Master Project Option
Natural text generation has been one of the longstanding problems in arti cial intelligence. In this thesis, we have focused in the related problem of automatic text modi cation, which consists on: given a source sentence and a desired change, construct a valid natural language sentence that implements the desired change from the source sentence. This problem is relevant in many template-based ...
متن کامل